同步問題 Synchronization
The Critical Section Problem：提供對共享變數之存取的互斥控制，確保資料的正確性。
entry section
Critical section
exit section
remainder section
Mutual exclusion：任一時間點，只允許一個 process 進入他自已的 critical section 內活動。
Bound waiting：隱含 No starvation。
Progress：必須在有限的時間從想進入 critical section 的 process 中，挑選其中一個 process 進入 critical section，隱含No Deadlock。
iThome鐵人賽
看影片追技術